/*

>> FONTS:
	The document has several fonts, known by number.  The following
are currently "implemented":
	Number	Purpose
	  1	Main text font.  Most English text is in this font.
	  2	Italic text font.
	  3	Lisp font (function names embedded in text)
	  4	Chapter headings font.
	  5	Section headings font
	  6	Subsection headings font
	  7	Lisp code (blocks of code, fixed width)
	  8	Function name font (first word in a .defun only)
*/

body.lmm {
	 margin: 3em 5% 3em 5%;
	 font-family: times;
	 text-align:justify;
}

p.cindent {
	  text-indent: 2em;
}

div.chapter {
       font-family: times;
       font-size: 200%;
}

div.section {
	    font-family: times;
	    font-size: 150%;
	    margin: 1em 0em 1em 0em;

}

div.subsection {
	    font-family: times;
	    font-size: 130%;
	    margin: 1em 0em 0.5em 0em;

}

font.exdent {
	   margin-left: -3em;
}


div.table {
}

div.item {
	 margin: 0em 0em 0em 5em;
}

font.exdent_item {
	 margin: 0em 0em 0em -5em;
}

div.defspec {
	    margin: 1em 0em 0em 3em;
	    text-align: justify;

}

div.defun {
	    margin: 1em 0em 0em 3em;
}

div.defun1 {
	    margin: 0em 0em 0em 3em;
}

div.defmac {
	    margin: 1em 0em 0em 3em;

}

div.defmac1 {
	    margin: 0em 0em 0em 3em;

}

div.defvar {
	    margin: 1em 0em 0em 3em;

}

pre.lisp {
	 margin: 0em 0em 1em 3em;
	 font-family: courier;
	 color: red;
}


font.main {
	  font-family: times;
       	  color:green;
       
}	

font.italic {
       font-family: times;
       font-style: italic;
//       font-size: 110%;
}	

font.lisp {
//       font-weight: bold;
       font-family: helvetica;
       color: blue;
}

font.chapter {
       font-family: times;
       font-size: 200%;
}

font.section {
       font-family: times;
       font-size: 150%;
}

font.subsection {
       font-family: times;
       font-size: 150%;
}

font.lispcode {
//       font-weight: bold;
       font-family: courier;
       color: red;
}

font.funcname {
       font-weight: bold;
       font-family: courier;
       font-size 110%;
       color: blue;
}

